退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:Alphard程序的构建和验证简介
Wulf, William A.; London, Ralph L.; Shaw, Mary;
机译:通过LTL规范构造和验证PLC程序
机译:通过LTL规范构建和验证PLC LD程序
机译:关于PLC程序的构建与验证
机译:移动无线信道状态识别算法:简介,定义和验证:认知环境意识的感知
机译:辐射肺炎预测的构建与验证基于多个参数的模型
机译:Alphard中的抽象和验证:树处理程序的设计和验证
机译:alphard中的抽象和验证:语言和方法论简介。
机译:程序引入处理方法,程序引入系统中的引入终端,引入分布服务器,引入子终端,其程序和程序的记录介质
机译:信息引入系统,信息引入方法,信息引入设备,信息引入程序存储介质,信息引入程序,引入信息获取设备,引入信息获取方法,引入信息获取程序,引入信息获取程序,引入存储信息
机译:程序介绍支持服务器,程序介绍支持系统,程序介绍支持方法和程序介绍支持计算机程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。